рефлексивность равенства

См. также в других словарях:

• РЕФЛЕКСИВНОСТЬ — (в математике и л о г и к е) – свойство бинарных (двуместных, двучленных) отношений. Отношение R, определенное на нек ром множестве (классе), наз. р е ф л е к с и в н ы м, если для любого элемента x этого множества имеет место xRx (т.е. x… …   Философская энциклопедия

• Рефлексивность — В математике бинарное отношение R на множестве X называется рефлексивным, если всякий элемент этого множества находится в отношении R с самим собой. Формально, отношение R рефлексивно, если . Если это условие не выполнено ни для какого элемента… …   Википедия

• РАВЕНСТВА АКСИОМЫ — аксиомы, регулирующие употребление отношения равенства в математич. доказательствах. Аксиомы эти утверждают рефлексивность отношения равенства и возможность замены равного равным. Символически Р. а. записываются так: где j произвольная формула, а …   Математическая энциклопедия

• Рефлексивность —         свойство бинарных (двуместных, двучленных) отношений (См. Отношение), выражающее выполнимость их для пар объектов с совпадающими членами (так сказать, между объектом и его «зеркальным отражением»): отношение R называется рефлексивным,… …   Большая советская энциклопедия

• Отношение типа равенства —         отношение эквивалентности, понятие логики и математики, выражающее факт наличия одних и тех же признаков (свойств) у различных объектов. Относительно таких общих признаков эти различные объекты неразличимы (тождественны, равны,… …   Большая советская энциклопедия

• Бинарное отношение — У этого термина существуют и другие значения, см. Отношение. В математике бинарным отношением называется подмножество декартова произведения двух множеств. В частности, бинарным отношением на множестве называется… …   Википедия

• «O» большое и «o» малое — У этого термина существуют и другие значения, см. O (значения). «O» большое и «o» малое ( и )  математические обозначения для сравнения асимптотического поведения функций. Используются в различных разделах математики, но активнее всего  …   Википедия

• О-большое — «O» большое и «o» малое ( и )  математические обозначения для сравнения асимптотического поведения функций. Используются в различных разделах математики, но активнее всего  в математическом анализе, теории чисел и комбинаторике, а также при… …   Википедия

• О-малое — «O» большое и «o» малое ( и )  математические обозначения для сравнения асимптотического поведения функций. Используются в различных разделах математики, но активнее всего  в математическом анализе, теории чисел и комбинаторике, а также при… …   Википедия

• О-нотация — «O» большое и «o» малое ( и )  математические обозначения для сравнения асимптотического поведения функций. Используются в различных разделах математики, но активнее всего  в математическом анализе, теории чисел и комбинаторике, а также при… …   Википедия

• ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ — правило, согласно к рому в случае, если два выражения p и q равны,. во всяком истинном высказывании, содержащем p или q, можно одно из них заменить на другое, не нарушая истинности этого высказывания. Выражение р и q равны следует понимать в том… …   Философская энциклопедия